Second Workshop on Modelling of Objects, Components and Agents

This report contains the proceedings of the workshop Modelling of Objects, Components, and Agents (MOCA'02), August 26-27, 2002.The workshop is organized by the 'Coloured Petri Net' Group at the University of Aarhus, Denmark and the 'Theoretical Foundations of Computer Science' Group at the University of Hamburg, Germany. The homepage of the workshop is: http://www.daimi.au.dk/CPnets/workshop02

Workshop on Modelling of Objects, Components, and Agents, Aarhus, Denmark, August 27-28, 2001

This booklet contains the proceedings of the workshop Modelling of Objects, Components, and Agents (MOCA'01), August 27-28, 2001. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark and the "Theoretical Foundations of Computer Science" Group at the University of Hamburg, Germany. The papers are also available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop01

Third Workshop on Modelling of Objects, Components, and Agents

This booklet contains the proceedings of the Third International Workshop on Modelling of Objects, Components, and Agents (MOCA'04), October 11-13, 2004. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark and the "Theoretical Foundations of Computer Science" group at the University of Hamburg. The home page of the workshop is: http://www.daimi.au.dk/CPnets/workshop0

Analysis of Mobile Agents using Invariants of Object Nets

Mobility induces new challenges for dynamic systems, which need a new conceptional treatment: systems, that deal for example with mobile agents, need extended security concepts to handle the risks, induced by foreign, untrusted agents. In this contribution we use object nets to model mobile systems. Object nets are Petri nets which have Petri nets as tokens – an approach known as the nets-withinnets paradigm. Object nets are called elementary if the net system has a two levelled structure. In this work we apply structural analysis methods for object nets – namely place invariants – to a simple case study modelling mobile agents

Emotion als theorieleitende Kategorie in Soziologie und Informatik. Zur emotionsbasierten Modellierung von Strukturdynamiken in künstlichen und natürlichen Gesellschaften

Ordnungsbildung und Erkenntnis bedingen einander. Erkenntnis setzt die Beobachtung von Ordnungsstrukturen voraus oder deren Schöpfung durch Abstraktion und Modellbildung. Beiträge aus unterschiedlichen Bereichen universitärer Forschung untersuchen Strukturen, die einen Bezug haben zu (partiell) autonomen Akteuren (beziehungsweise Agierenden, Agenten) und den dynamischen Prozessen, in denen sie entwickelt werden. Dabei ablaufende Erkenntnisprozesse erfordern interobjektiv erfahrbare, teilweise auch in Symbolik und Ritualen fassbare Ordnungsstrukturen, auch wenn diese erst simultan mit Handlungs- oder Erkenntnisprozessen entstehen. Rekursive Bezüge können zu Formen der Selbstorganisation führen. Bei höher entwickelten Strukturen können Aspekte des Wissens, Lernens (und Vergessens) einbezogen werden und zusätzlich durch emotionale Zustände verstärkt oder abgeschwächt werden. • Wie entstehen Struktur und Ordnung? • Wie werden sie stabilisiert, modifiziert, revolutioniert, restabilisiert? • Wie werden sie zerstört und aufgelöst? • Wie lässt sich das Verhältnis von Ordnung/Struktur und Wandel/Prozess fassen und (gegebenenfalls formal oder im Rechner) modellieren? • Welche institutionalisierten Mechanismen spielen dabei welche Rolle? • Wie prägen diese Mechanismen die Auseinandersetzungen zwischen Akteuren um "richtiges" und "falsches" Handeln und " richtiges" und "falsches" Wissen von diesem Handeln (Realitätsdefinitionen, Ordnungs- und Zielvorstellungen, Legitimationen)? • Welche Wechselwirkungen bestehen zwischen "stummen" Verhaltensordnungen (Handeln) und "beredter" symbolvermittelter Reflexion eben dieser Verhaltensordnungen (Reden und Wissen)? Wissenschaftlerinnen und Wissenschaftler hatten sich am 5.9.2005 an der Universität Hamburg zu einem Workshop über "Ordnungsbildung und Erkenntnisprozesse" zusammengefunden. In diesem Band sind zahlreiche der gehaltenen Beiträge gesammeltFormation of order and cognition are interdependent. Knowledge presupposes the observation of order structures or their creation through abstraction and modelling. Contributions from different areas of university research examine structures that relate to (partially) autonomous actors (or agents) and the dynamic processes in which they are developed. Processes of knowledge that take place in this context require structures of order that can be experienced interobjectively, and in some cases can also be grasped in symbolism and rituals, even if these structures are created simultaneously with processes of action or knowledge. Recursive references can lead to forms of self-organization. In more highly developed structures, aspects of knowledge, learning (and forgetting) can be included and additionally strengthened or weakened by emotional states. On November 5, 2005, scientists came together for a workshop on "Formation of Order and Knowledge Processes" at the University of Hamburg. In this volume, numerous of the given talks and articles are collected

Socionic Multi-Agent Systems Based on Reflexive Petri Nets and Theories of Social Self-Organisation

This contribution summarises the core results of the transdisciplinary ASKO project, part of the German DFG's programme Sozionik, which combines sociologists' and computer scientists' skills in order to create improved theories and models of artificial societies. Our research group has (a) formulated a social theory, which is able to explain fundamental mechanisms of self-organisation in both natural and artificial societies, (b) modelled this in a mathematical way using a visual formalism, and (c) developed a novel multi-agent system architecture which is conceptually coherent, recursively structured (hence non-eclectic) and based on our social theory. The article presents an outline of both a sociological middle-range theory of social self-organisation in educational institutions, its formal, Petri net based model, including a simulation of one of its main mechanisms, and the multi-agent system architecture SONAR. It describes how the theory was created by a re-analysis of some grand social theories, by grounding it empirically, and finally how the theory was evaluated by modelling its concepts and statements.Multi-Agents Systems, Petri Nets, Self-Organisation, Social Theories

Nonlinear optical response of photochromic azobenzene-functionalized self- assembled monolayers

The combination of photochromic and nonlinear optical (NLO) properties of azobenzene-functionalized self-assembled monolayers (SAMs) constitutes an intriguing step towards novel photonic and optoelectronic devices. By utilizing the second-order NLO process of second harmonic generation (SHG), supported by density-functional theory and correlated wave function method calculations, we demonstrate that the photochromic interface provides the necessary prerequisites en route towards possible future technical applications: we find a high NLO contrast on the order of 16% between the switching states. These are furthermore accessible reversibly and with high efficiencies in terms of cross sections on the order of 10−18 cm2 for both photoisomerization reactions, i.e., drivable by means of low-power LED light sources. Finally, both photostationary states (PSSs) are thermally stable at ambient conditions

Human Non-neutralizing HIV-1 Envelope Monoclonal Antibodies Limit the Number of Founder Viruses during SHIV Mucosal Infection in Rhesus Macaques

HIV-1 mucosal transmission begins with virus or virus-infected cells moving through mucus across mucosal epithelium to infect CD4+ T cells. Although broadly neutralizing antibodies (bnAbs) are the type of HIV-1 antibodies that are most likely protective, they are not induced with current vaccine candidates. In contrast, antibodies that do not neutralize primary HIV-1 strains in the TZM-bl infection assay are readily induced by current vaccine candidates and have also been implicated as secondary correlates of decreased HIV-1 risk in the RV144 vaccine efficacy trial. Here, we have studied the capacity of anti-Env monoclonal antibodies (mAbs) against either the immunodominant region of gp41 (7B2 IgG1), the first constant region of gp120 (A32 IgG1), or the third variable loop (V3) of gp120 (CH22 IgG1) to modulate in vivo rectal mucosal transmission of a high-dose simian-human immunodeficiency virus (SHIV-BaL) in rhesus macaques. 7B2 IgG1 or A32 IgG1, each containing mutations to enhance Fc function, was administered passively to rhesus macaques but afforded no protection against productive clinical infection while the positive control antibody CH22 IgG1 prevented infection in 4 of 6 animals. Enumeration of transmitted/founder (T/F) viruses revealed that passive infusion of each of the three antibodies significantly reduced the number of T/F genomes. Thus, some antibodies that bind HIV-1 Env but fail to neutralize virus in traditional neutralization assays may limit the number of T/F viruses involved in transmission without leading to enhancement of viral infection. For one of these mAbs, gp41 mAb 7B2, we provide the first co-crystal structure in complex with a common cyclical loop motif demonstrated to be critical for infection by other retroviruses

Formal semantics for auml agent interaction protocol diagrams

Abstract. In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the usage of net components which provide basic tasks and the structure for Petri Nets. Agent interaction level. By mapping elements of the diagrams to net components we are able to translate the diagrams into Petri nets, i.e to generate code structures from the drawings. We provide tool support for this approach by combining a tool for net components with a tool for drawing agent interaction protocol diagrams. This combined tool is available as a plug-i